Смотреть больше слов в «Словаре логики»
логические связки, логические операторы, функции, преобразующие высказывания или пропозициональные формы (т. е. выражения логики предикатов (См... смотреть
ЛОГИЧЕСКИЕ ОПЕРАЦИИ логич. операторы, логич. связки, функции, преобразующие выражения логич. исчислений (формальных логич. систем); подразде... смотреть
логич. операторы, логич. связки, функции, преобразующие выражения логич. исчислений (формальных логич. систем); подразделяются на пропозициональные (сентенциональные) связки, с помощью к-рых образуются выражения логики высказываний, и кванторы, введение к-рых позволяет расширить логику высказываний до логики предикатов. Л. о. позволяют строить сложные высказывания из нек-рых элементарных, подобно тому как союзы, союзные слова и обороты служат для построения сложных предложений из простых в естеств. языках. Напр., в классич. двузначной логике, в к-рой высказывания могут быть только либо истинными, либо ложными, Л. о. конъюнкции интерпретируется как союз «и» и его многочисл. синонимы и оттенки («а», «да», «но», «хотя», «между тем как», «а также», «кроме того» и т. д.); дизъюнкциикак один из смыслов («неразделительный») союза «или»; отрицание как частица «не» и её языковые эквиваленты; импликациипримерно как обороты «если ..., то ...» и «из... следует...» или глагол «влечёт»; эквиваленции как оборот «тогда и только тогда, когда» и его синонимы и т. п. Соответствие это не взаимнооднозначно и приблизительно; поэтому точные определения Л. о. задаются не «переводами» их на естеств. языки, а либо посредством т. н. истинностных таблиц (или таблиц истинности), указывающих, какое из двух истинностных значений «и» («истина») или «л» («ложь») принимает результат применения данной Л. о. к нек-рым исходным высказываниям при каждом конкретном распределении истинностных значений этих исходных высказываний, либо заданиемнадлежащих постулатов (логич. аксиом и правил вывода). Изоморфная (см. Изоморфизм и гомоморфизм) интерпретируемость классич. логики высказываний в терминах логики классов обусловливает существование теоретико-множеств. операций, аналогичных каждой из её Л. о. в том смысле, что они подчиняются одним и тем же взаимным соотношениям и образуют булевы алгебры (соответственно алгебру высказываний и алгебру множеств; см. Алгебра логики).... смотреть
операции, выполняемые в соответствии с правилами булевой алгебры. К ним относят операции: отрицания, логическое «и», логическое «или» и тождество (эквивалентность). На этих логических операциях основана работа вычислительных машин. Начала современного естествознания. Тезаурус. — Ростов-на-Дону.В.Н. Савченко, В.П. Смагин.2006.... смотреть
логікавыя аперацыі